ILLC PhD Pilot Study
نویسنده
چکیده
This is a proposal for a thesis in the interface of descriptive set theory and computable analysis, in a continuation of my MoL thesis [9]. There, I was interested in studying connections between game characterizations of classes of functions in descriptive set theory and the theory of Weihrauch reducibility, in particular searching for counterparts in computable analysis to the game characterizations obtained by Brian Semmes in his PhD thesis [25] at the ILLC, also under the supervision of Benedikt Löwe.
منابع مشابه
Findings and Recommendations
The PhD Programme eValuation Committee (PVC) has two main aims: (1) to evaluate and maintain the quality of the ILLC PhD Programme as well as the working conditions of the PhD candidates at the ILLC, and (2) to act as an independent confidant to whom PhD candidates can address their concerns. To fulfil these aims, every year the PVC conducts a series of interviews with the PhD candidates. This ...
متن کاملMetric and Layered Temporal Logic for Time Granularity
This dissertation is about the design of temporal logics that deal with changing timegranularities. Time granularity can be de ned as the resolution power of the temporalquali cation of a statement. Providing a formalism with the concept of time granularitymakes it possible to specify time information with respect to di erently-grained temporaldomains. This does not merely m...
متن کاملAssessment of Patient Absorbed Radiation Dose during Hysterosalpingography: A Pilot Study in Southwest Nigeria
Background: Hysterosalpingography (HSG) is an indispensable tool for diagnosing infertility in females. The procedure exposes female reproductive organs to ionizing radiation as the genitals are irradiated during the process. Investigating patient absorbed dose during the procedures is essential for effective radiological protection of the patient. Objective: This study aims to investigat...
متن کاملThe ILLC-uva SMT system for IWSLT 2010
In this paper we give an overview of the ILLC-UvA(Institute for Logic, Language and Computation University of Amsterdam) submission to the 7th International Workshop on Spoken Language Translation evaluation campaign. It outlines the architecture and configuration of the novel feature we are introducing: a syntax-based model for source-side reordering via tree transduction. We have concentrated...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014